$λ$-Scale, a lambda calculus for spaces with dilations
نویسنده
چکیده
λ-Scale is an enrichment of lambda calculus which is adapted to emergent algebras. It can be used therefore in metric spaces with dilations.
منابع مشابه
Graphic lambda calculus and knot diagrams
The graphic lambda calculus [5] is a formalism based on local or global moves acting on locally planar trivalent graphs. In the mentioned paper we showed that ”sectors” of this calculus are equivalent with untyped lambda calculus or with emergent algebras. (The formalism of emergent algebras [2] [3] evolved from differential calculus on metric spaces with dilations [1].) For all the relevant no...
متن کاملLocal and global moves on locally planar trivalent graphs, lambda calculus and $λ$-Scale
λ-Scale calculus, introduced in [4], is a formalism which contains both untyped lambda calculus and emergent algebras. It has been conceived in order to give a rigorous meaning to ”computing with space” [5], i.e. to give a precise meaning to computation associated to emergent algebras. Emergent algebras [2] [3] are a distillation of differential calculus in metric spaces with dilations [1]. Thi...
متن کاملLocal and global moves on locally planar trivalent graphs, lambda calculus and $\lambda$-Scale
λ-Scale calculus, introduced in [4], is a formalism which contains both untyped lambda calculus and emergent algebras. It has been conceived in order to give a rigorous meaning to ”computing with space” [5], i.e. to give a precise meaning to computation associated to emergent algebras. Emergent algebras [2] [3] are a distillation of differential calculus in metric spaces with dilations [1]. Thi...
متن کاملCategorical Models for a Semantically Linear λ-calculus
This paper is about a categorical approach to model a very simple Semantically Linear λcalculus, namedS λ-calculus. This is a core calculus underlying the programming language S PCF. In particular, in this work, we introduce the notion of S λ-Category, which is able to describe a very large class of sound models of S λ-calculus. S λ-Category extends in the natural way Benton, Bierman, Hyland an...
متن کاملWhat is a model for a semantically linear λ-calculus?
This paper is about a categorical approach to model a simple term calculus, named S λcalculus. This is the core calculus underlying the programming language S PCF that have been conceived in order to program only linear functions between Coherence Spaces. In this work, we introduce the notion of S λ-category, which is able to describe a large class of sound models of S λ-calculus. S λ-category ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1205.0139 شماره
صفحات -
تاریخ انتشار 2012